More from this Author

You Can't Kill Me, I'm Already Dead: a Vampire Anthology

by Alan Russo, Nikki Vogel, Elise Thomas, T. Dunham, Norman Rubin, Denny Marshall, Gregg Chamberlain, James Hartley, Rebecca Brown, David North-Martino, Eric Guignard, Kenneth Whitfield, Joseph Pinto, Tyson West, Joseph Patchen, D. J. Currivean, Mark Slade, Steven Deman, Jay Wilburn

A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design

by Norman Rubin